Formal Analysis of Emergency Department Staffing Based on Stochastic Timed Petri Net Models
نویسندگان
چکیده
منابع مشابه
Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملInvariant-Based Performance Analysis of Timed Petri Net Models
In timed Petri nets, temporal properties are associated with transitions as transition firing times (or occurrence times). For net models which can be decomposed into a family of place invariants, performance analysis can be conveniently performed on the basis of its components. The paper presents an approach to finding place invariants of net models and proposes an incremental method which, fo...
متن کاملTimed Petri net models of cluster tools
Timed Petri nets are used as models of cluster tools, representing not only the concurrency activities of different chambers, but also the durations of these activities. Structural analysis, based on net invariants, provides basic performance measures, such as throughput and cycle time. The results are obtained in symbolic form, so many specific variants can easily be compared without repeated ...
متن کاملTimed Petri Net Models of ATM LANs
Abstra t. The Asyn hronous Transfer Mode (ATM) is a fast pa ket{ swit hing ommuni ation method using small xed-length ells. A model of an ATM LAN is presented whi h provides a realisti representation of data transmission by modeling both the ATM network and the appliations running over it. Colored Petri nets are used to reate a ompa t model that is apable of representing a variety of di erent p...
متن کاملThroughput Analysis of Simple Closed Timed Petri Net Models
It is shown that for some classes of closed timed Petri net models the steady–state behavior can be determined on the basis of structural properties only (i.e., without reachability analysis), using the concept of throughput and simple rules of operational analysis. Throughput analysis is based on the average values of firing times rather than firing time distribution functions, so the same app...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2021.04.038